Space hierarchy theorem revised
نویسندگان
چکیده
منابع مشابه
Space Hierarchy Theorem Revised
We show that, for an arbitrary function h(n) and each recursive function ‘(n), that are separated by a nondeterministically fully space constructible g(n), such that h(n)∈0(g(n)) but ‘(n) ∈ 0(g(n)), there exists a unary language L in NSPACE(h(n)) that is not contained in NSPACE(‘(n)). The same holds for the deterministic case. The main contribution to the well-known Space Hierarchy Theorem is t...
متن کاملThe Romanov Theorem Revised
Let P be the set of all primes and P 2 = P ∪ {p 1 p 2 : p 1 , p 2 ∈ P}. We prove that the sumset 2 P + P 2 = {2 p + q : p ∈ P, q ∈ P 2 } has a positive lower density.
متن کاملStatman's Hierarchy Theorem
In the Simply Typed λ-calculus [Hin97, BDS13] Statman investigates the reducibility relation ≤βη between types: for A,B ∈ T, types freely generated using → and a single ground type 0, define A ≤βη B if there exists a λ-definable injection from the closed terms of type A into those of type B. Unexpectedly, the induced partial order is the (linear) well-ordering (of order type) ω + 4, see [Sta80a...
متن کاملAn Adaptivity Hierarchy Theorem for Property Testing
Adaptivity is known to play a crucial role in property testing. In particular, there exist properties for which there is an exponential gap between the power of adaptive testing algorithms, wherein each query may be determined by the answers received to prior queries, and their nonadaptive counterparts, in which all queries are independent of answers obtained from previous queries. In this work...
متن کاملThe Hierarchy Theorem for Generalized Quantifiers
The concept of a generalized quantiier of a given similarity type was deened in Lin66]. Our main result says that on nite structures diierent similarity types give rise to diierent classes of generalized quantiiers. More exactly, for every similarity type t there is a generalized quantiier of type t which is not deenable in the extension of rst order logic by all generalized quantiiers of type ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2003
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(02)00402-4